-
1 пропозициональная функция
Большой англо-русский и русско-английский словарь > пропозициональная функция
-
2 пропозициональная функция
1) Logics: propositional function2) Information technology: prepositional functionУниверсальный русско-английский словарь > пропозициональная функция
-
3 пропозициональная функция
пропозиці́йна фу́нкціяРусско-украинский политехнический словарь > пропозициональная функция
-
4 пропозициональная функция
пропозиці́йна фу́нкціяРусско-украинский политехнический словарь > пропозициональная функция
-
5 пропозициональная функция
Dictionnaire russe-français universel > пропозициональная функция
-
6 открытая пропозициональная функция
Mathematics: open propositional functionУниверсальный русско-английский словарь > открытая пропозициональная функция
-
7 открытая пропозициональная функция
Русско-английский научно-технический словарь Масловского > открытая пропозициональная функция
-
8 функция
астр., вчт, матем., физ.фу́нкція- автоморфная функциякусо́чно-дифференци́руемая фу́нкция — куско́во-диференційо́вна фу́нкція
- аддитивная функция
- алгебраическая функция
- аналитическая функция
- антисимметрическая функция
- аппроксимирующая функция
- арифметическая функция
- барьерная функция
- бесконечнозначная функция
- бесселева функция
- бигармоническая функция
- булева функция
- быстрорастущая функция
- быстроубывающая функция
- бэровская функция
- векторная функция
- вероятная функция
- верхняя функция
- весовая функция
- вещественная функция
- вогнутая функция
- возмущающая функция
- возрастающая функция
- волновая функция
- выбирающая функция
- выборочная функция
- выпуклая функция
- вырожденная функция
- вычислимая функция
- гармоническая функция
- гиперболическая функция
- гипергеометрическая функция
- гладкая функция
- голоморфная функция
- двойственная себе функция
- двоякопериодическая функция
- дельтообразная функция
- детерминированная функция
- дискретная функция
- диссипативная функция
- дифференцируемая функция
- дробно-квадратичная функция
- дробно-линейная функция
- дробно-рациональная функция
- дуговая функция
- единичная функция
- зависимая функция
- знакопостоянная функция
- зональная функция
- измеримая функция
- импульсная функция
- индуцированная функция
- интегрируемая функция
- иррациональная функция
- искомая функция
- истинностная функция
- квадратичная функция
- квадратная функция
- квазипериодическая функция
- конечная функция
- конфлюэнтная функция
- корреляционная функция
- круговая функция
- кусочно-гладкая функция
- кусочно-линейная функция
- кусочно-монотонная функция
- кусочно-непрерывная функция
- кусочно-полиномиальная функция
- кусочно-постоянная функция
- лемнискатическая функция
- линейная функция
- логарифмическая функция
- мажорантная функция
- мероморфная функция
- мероопределяющая функция
- многозначная функция
- многолистная функция
- многомерная функция
- модулярная функция
- моногенная функция
- монотонная функция
- мультипликативная функция
- начальная функция
- невозрастающая функция
- негладкая функция
- недифференцируемая функция
- неинтегрируемая функция
- нелинейная функция
- неограниченная функция
- непериодическая функция
- непрерывная функция
- несамодвойственная функция
- неубывающая функция
- нечётная функция
- неявная функция
- обобщённая функция
- обратная функция
- общерекурсивная функция
- ограниченная функция
- однозначная функция
- однолистная функция
- одномерная функция
- однопериодическая функция
- определяемая функция
- ортогональная функция
- особенная функция
- отображающая функция
- парааналитическая функция
- первообразная функция
- передаточная функция
- переключательная функция
- переходная функция
- периодическая функция
- пертурбационная функция
- пилообразная функция
- подоператорная функция
- подынтегральная функция
- показательная функция
- полигармоническая функция
- полигональная функция
- поликалорическая функция
- полиэдральная функция
- полиэдрическая функция
- полунеопределённая функция
- полунепрерывная функция
- постоянная функция
- потенциальная функция
- предельная функция
- представимая функция
- прерывная функция
- приводимая функция
- примитивная функция
- примитивно-рекурсивная функция
- присоединённая функция
- причинная функция
- пробная функция
- прогнозирующая функция
- производная функция
- производственная функция
- производящая функция
- пропозициональная функция
- разрывная функция
- распределительная функция
- рациональная функция
- регрессионная функция
- регулярная функция
- рекурсивная функция
- релейная функция
- репликативная функция
- решающая функция
- рисковая функция
- самодвойственная функция
- сводящая функция
- сепарабельная функция
- сигнализирующая функция
- силовая функция
- симметричная функция
- сингулярная функция
- сложная функция
- случайная функция
- спектральная функция
- специальная функция
- сравнимые функции
- срезанная функция
- стандартная функция
- стационарная функция
- степенная функция
- степеннопоказательная функция
- стохастическая функция
- структурная функция
- ступенчатая функция
- субгармоническая функция
- сумматорная функция
- суммируемая функция
- супергармоническая функция
- сферическая функция
- сфероидальная функция
- теоретико-числовая функция
- термодинамическая функция
- тотализируемая функция
- точечно-разрывная функция
- трансцендентная функция
- тригонометрическая функция - универсальная функция
- униформизирующая функция
- усиливающая функция
- усреднённая функция
- факторизуемая функция
- финитная функция
- фуксоидная функция
- фундаментальная функция
- функция антье
- функция вариации
- функция времени
- функция избытка
- функция концентрации
- функция-минимум
- функция множества
- функция надёжности
- функция наклона
- функция плотности
- функция полезности
- функция промежутков
- функция размерностей
- функция распределения
- функция расстановки
- функция регрессии
- функция риска
- функция скачков
- функция треугольника
- функция ценности
- функция чувствительности
- характеристическая функция
- хеш-функция
- целевая функция
- целочисленная функция
- центрирующая функция
- циклометрическая функция
- цилиндрическая функция
- частичная функция
- частная функция
- чётная функция
- числовая функция
- шаровая функция
- экспоненциальная функция
- экстремальная функция
- эксцессивная функция
- элементарная функция
- эллиптическая функция
- эмпирическая функция
- эмфеновская функция -
9 функция
астр., вчт, матем., физ.фу́нкція- автоморфная функциякусо́чно-дифференци́руемая фу́нкция — куско́во-диференційо́вна фу́нкція
- аддитивная функция
- алгебраическая функция
- аналитическая функция
- антисимметрическая функция
- аппроксимирующая функция
- арифметическая функция
- барьерная функция
- бесконечнозначная функция
- бесселева функция
- бигармоническая функция
- булева функция
- быстрорастущая функция
- быстроубывающая функция
- бэровская функция
- векторная функция
- вероятная функция
- верхняя функция
- весовая функция
- вещественная функция
- вогнутая функция
- возмущающая функция
- возрастающая функция
- волновая функция
- выбирающая функция
- выборочная функция
- выпуклая функция
- вырожденная функция
- вычислимая функция
- гармоническая функция
- гиперболическая функция
- гипергеометрическая функция
- гладкая функция
- голоморфная функция
- двойственная себе функция
- двоякопериодическая функция
- дельтообразная функция
- детерминированная функция
- дискретная функция
- диссипативная функция
- дифференцируемая функция
- дробно-квадратичная функция
- дробно-линейная функция
- дробно-рациональная функция
- дуговая функция
- единичная функция
- зависимая функция
- знакопостоянная функция
- зональная функция
- измеримая функция
- импульсная функция
- индуцированная функция
- интегрируемая функция
- иррациональная функция
- искомая функция
- истинностная функция
- квадратичная функция
- квадратная функция
- квазипериодическая функция
- конечная функция
- конфлюэнтная функция
- корреляционная функция
- круговая функция
- кусочно-гладкая функция
- кусочно-линейная функция
- кусочно-монотонная функция
- кусочно-непрерывная функция
- кусочно-полиномиальная функция
- кусочно-постоянная функция
- лемнискатическая функция
- линейная функция
- логарифмическая функция
- мажорантная функция
- мероморфная функция
- мероопределяющая функция
- многозначная функция
- многолистная функция
- многомерная функция
- модулярная функция
- моногенная функция
- монотонная функция
- мультипликативная функция
- начальная функция
- невозрастающая функция
- негладкая функция
- недифференцируемая функция
- неинтегрируемая функция
- нелинейная функция
- неограниченная функция
- непериодическая функция
- непрерывная функция
- несамодвойственная функция
- неубывающая функция
- нечётная функция
- неявная функция
- обобщённая функция
- обратная функция
- общерекурсивная функция
- ограниченная функция
- однозначная функция
- однолистная функция
- одномерная функция
- однопериодическая функция
- определяемая функция
- ортогональная функция
- особенная функция
- отображающая функция
- парааналитическая функция
- первообразная функция
- передаточная функция
- переключательная функция
- переходная функция
- периодическая функция
- пертурбационная функция
- пилообразная функция
- подоператорная функция
- подынтегральная функция
- показательная функция
- полигармоническая функция
- полигональная функция
- поликалорическая функция
- полиэдральная функция
- полиэдрическая функция
- полунеопределённая функция
- полунепрерывная функция
- постоянная функция
- потенциальная функция
- предельная функция
- представимая функция
- прерывная функция
- приводимая функция
- примитивная функция
- примитивно-рекурсивная функция
- присоединённая функция
- причинная функция
- пробная функция
- прогнозирующая функция
- производная функция
- производственная функция
- производящая функция
- пропозициональная функция
- разрывная функция
- распределительная функция
- рациональная функция
- регрессионная функция
- регулярная функция
- рекурсивная функция
- релейная функция
- репликативная функция
- решающая функция
- рисковая функция
- самодвойственная функция
- сводящая функция
- сепарабельная функция
- сигнализирующая функция
- силовая функция
- симметричная функция
- сингулярная функция
- сложная функция
- случайная функция
- спектральная функция
- специальная функция
- сравнимые функции
- срезанная функция
- стандартная функция
- стационарная функция
- степенная функция
- степеннопоказательная функция
- стохастическая функция
- структурная функция
- ступенчатая функция
- субгармоническая функция
- сумматорная функция
- суммируемая функция
- супергармоническая функция
- сферическая функция
- сфероидальная функция
- теоретико-числовая функция
- термодинамическая функция
- тотализируемая функция
- точечно-разрывная функция
- трансцендентная функция
- тригонометрическая функция - универсальная функция
- униформизирующая функция
- усиливающая функция
- усреднённая функция
- факторизуемая функция
- финитная функция
- фуксоидная функция
- фундаментальная функция
- функция антье
- функция вариации
- функция времени
- функция избытка
- функция концентрации
- функция-минимум
- функция множества
- функция надёжности
- функция наклона
- функция плотности
- функция полезности
- функция промежутков
- функция размерностей
- функция распределения
- функция расстановки
- функция регрессии
- функция риска
- функция скачков
- функция треугольника
- функция ценности
- функция чувствительности
- характеристическая функция
- хеш-функция
- целевая функция
- целочисленная функция
- центрирующая функция
- циклометрическая функция
- цилиндрическая функция
- частичная функция
- частная функция
- чётная функция
- числовая функция
- шаровая функция
- экспоненциальная функция
- экстремальная функция
- эксцессивная функция
- элементарная функция
- эллиптическая функция
- эмпирическая функция
- эмфеновская функция -
10 пропозициональная связка
[lang name="Russian"]логическая функция; логическая связка — logical connective
Русско-английский научный словарь > пропозициональная связка
-
11 пропозициональная связка
логическая функция; логическая связка — logical connective
Русско-английский словарь по информационным технологиям > пропозициональная связка
-
12 propositional function
English-Russian information technology > propositional function
-
13 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
14 propositional function
1) Логика: пропозициональная функция2) Вычислительная техника: пропорциональная функцияУниверсальный англо-русский словарь > propositional function
-
15 open propositional function
Математика: открытая пропозициональная функцияУниверсальный англо-русский словарь > open propositional function
-
16 prepositional function
Вычислительная техника: пропозициональная функцияУниверсальный англо-русский словарь > prepositional function
-
17 fonction propositionnelle
сущ.Французско-русский универсальный словарь > fonction propositionnelle
-
18 open propositional function
English-Russian scientific dictionary > open propositional function
-
19 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
20 предикат
(1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) predicate вчт., open sentence, propositional function, sentential function
- 1
- 2
См. также в других словарях:
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ — см. Предикат … Большой Энциклопедический словарь
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ — см. в ст. Предикат. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983 … Философская энциклопедия
пропозициональная функция — см. Предикат. * * * ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ, см. Предикат (см. ПРЕДИКАТ (в логике)) … Энциклопедический словарь
пропозициональная функция — функция, область значений которой составляют высказывания, обладающие определенным истинностным значением. По своей структуре П. ф. сходна с грамматическим предложением, но отличается от последнего наличием переменных, которые пробегают какое то… … Словарь терминов логики
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ — функция, аргументами и значениями к рой являются истинностные значения. Этот термин употребляют, когда речь идет об интерпретации формализованного логич. языка. Если W множество истинностных значений формул данного языка, то П. ф. это любое… … Математическая энциклопедия
Пропозиция (пропозициональная функция) — выражение с неопределенными терминами (переменными), при выборе конкретных значений для этих терминов преобразующееся в осмысленное (истинное или ложное) высказывание … Социология: словарь
Пропозициональная логика — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
пропозициональная логика — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
функция — (от лат. functio осуществление, выполнение) соответствие между переменными величинами х и у, в результате которого каждому значению величины х (независимой переменной, аргументу) сопоставляется одно единственное значение величины у (зависимой… … Словарь терминов логики
отношение — (в логике) отождествляется с многоместным предикатом. Предикаты подразделяются на одноместные, соответствующие свойствам предметов, и многоместные (двухместные, трехместные и вообще п местные, где п ? 2), соответствующие О. При этом предикаты… … Словарь терминов логики
Отношение (логика) — У этого термина существуют и другие значения, см. Отношение. Отношение в логике первого порядка двух и более аргументный предикат (многоместный предикат), двух и более предикатное свойство. Знак отношения: R.[уточнить] В терминах отношений… … Википедия